semantical decision problem

语义判定问题